Avaliadores, n. 11, 2001

SIGGRAPH 2001 Course 11

n ° 2001 - 14 Inge

The paper assesses the marginal welfare and equity impacts of three transport instruments in the presence of three transport externalities: congestion, air pollution and accidents. It considers a second-best economy in which the government has to use distortionary taxes for revenue-raising and distributional purposes. The assessment uses an applied general equilibrium model for Belgium. The tra...

A question of evil: September 11, 2001.

Cancer Immunity 1:11 (2001) - ARTICLE

The identification of the antigenic stimuli of B-cell neoplasms might be of considerable importance since a causal relationship between these neoplasms and antigenic stimulation has been suggested. To date the identification of such antigens has been erratic and accidental. For a systematic search and molecular characterization of human proteins that are antigenic target structures of myeloma-a...

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...